lambda calculus

英 [ˈlæmdə ˈkælkjələs]

美 [ˈlæmdə ˈkælkjələs]

演算；微积分

计算机

双语例句

• The database manipulation and definition are based on the evaluation of lambda calculus.
  数据库的定义、操作、查询都基于Lambda表达式和计算。
• In this paper, a typed abstract language called LAMBDA-like is defined. Using it as the model, a transformation technique from the functional abstract language based on λ-calculus to a imperative language caled PASCAL-like is presented.
  本文定义一类型化的抽象语言like-LAMBDA，并以此为模型给出从以Lambda演算为基础的函数式抽象语言到like-PASCAL过程式语言的转换技术。
• Self-Applicable Partial Evaluation for the Lambda Calculus of Objects
  对象式Lambda演算的自作用部分计值
• The main work included: The classical lambda calculus was modified to describe the character of dynamic fuzzy;
  主要内容包括：变形传统的λ演算，以更好地描述具有动态模糊性的问题；
• The work from lambda calculus was used to develop functional programming languages, such as Lisp and Scheme.
  lambda演算用于开发函数编程语言，例如Lisp和Scheme。
• Lambda Calculus with Type
  带类型λ-演算
• The construction of a model of the lambda calculus system with algebraic operators
  具有代数算子的λ演算系统的模型构造
• Known as lambda calculus, it was designed to investigate the function definition and application, as well as the concept of recursion.
  它被称为lambda演算，用于研究函数定义与应用程序以及递归概念。